Como validad un razonamiento por reducción al absurdo